More from this Author

Refinement in Z and Object-Z

by John Derrick (Editor), Eerke A Boiten (Editor)

Formal Methods for Open Object-Based Distributed Systems

by Howard Bowman (Editor), John Derrick (Editor)

Integrated Formal Methods

by Eerke Boiten (Editor), John Derrick (Editor), Graeme Smith (Editor)